FDL - call by value

call by value

ABS: callbyvalue(a;x.B(x))

ABS: has-value(a)

ABS: map-eval(x.f(x);L)

STM: fast-fib-opt

ABS: fastfib(n)

STM: less-fast-fib

STM: less-fast-fib-opt

ABS: slowfib(n)